DEF=list-in
EXT=listin
TESTDIR=.

include ../../../include/kframework/ktest.mak
